en universal quantifier
― PartOf ⟶
Weight: 1.0
en predicate calculus (n) Source: English Wiktionary